div.menu_bar{
	background-color:#C0C0C0;
	padding-top: 6px;
	padding-bottom: 6px;
}

a.menu_selected{
	background-color:#969696;
	color:#FFFFFF;
	padding-left: 3px;
	padding-right: 3px;
	padding-top: 2px;
	padding-bottom: 2px;
  border-width: thin;
  border-color: black;
  border-style: solid;
}

a.menu_unselected{
	background-color:#DDDDDD;
	color:#000000;
	padding-left: 3px;
	padding-right: 3px;
	padding-top: 2px;
	padding-bottom: 2px;
  border-width: thin;
  border-color: black;
  border-style: solid;
}

.menu_separator{
	background-color: #DDDDDD;
	text-align: left;
	font-weight: bold;
}
